/*
 * clock.h
 *
 *  Created on: 2016-10-24
 *      Author: m
 */

#ifndef SRC_INCLUDE_KERNEL_CLOCK_H_
#define SRC_INCLUDE_KERNEL_CLOCK_H_
#include "type.h"

void init_clock();
void clock_handler(int irq);

#endif /* SRC_INCLUDE_KERNEL_CLOCK_H_ */
